Философский словарь - ч-рч
Связанные словари
Ч-рч
ч-рч
(Church) Алонзо (род. 14 июня 1903, Вашингтон) - амер. логик и математик. В математической логике развил гипотезы об отделении понятия функции от понятия множества, о вычислимых функциях (т. н. тезис Чёрча), много сделал для развития комбинаторной логики, логической семантики и модальной логики. В рус. пер. издано соч. Чёрча "Введение в математическую логику", т. 1, 1960.
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2031 | |
2 | 1508 | |
3 | 1246 | |
4 | 1128 | |
5 | 1114 | |
6 | 1007 | |
7 | 965 | |
8 | 841 | |
9 | 840 | |
10 | 801 | |
11 | 787 | |
12 | 738 | |
13 | 737 | |
14 | 711 | |
15 | 676 | |
16 | 674 | |
17 | 606 | |
18 | 593 | |
19 | 557 | |
20 | 535 |